On integer points in polyhedra

نویسندگان

  • William J. Cook
  • Mark Hartmann
  • Ravi Kannan
  • Colin McDiarmid
چکیده

We give an upper bound on the number of vertices of PI, the integer hull of a polyhedron P, in terms of the dimension n of the space, the number m of inequalities required to describe P, and the size ~ of these inequalities. For fixed n the bound is O(mn~n-1). We also describe an algorithm which determines the number of integer points in a polyhedron to within a multiplicative factor of 1 qE in time polynomial in m, ~ and 1/c when the dimension n is fixed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Sampling Integer Points in Polyhedra

We investigate the problem of sampling integer points in rational polyhedra provided an oracle for counting these integer points. When dimension is bounded, this assumption is justified in view of a recent algorithm due to Barvinok [B1,B2,BP]. We show that the exactly uniform sampling is possible in full generality, when the oracle is called polynomial number of times. Further, when Barvinok’s ...

متن کامل

The Complexity of Generating Functions for Integer Points in Polyhedra and Beyond

Motivated by the formula for the sum of the geometric series, we consider various classes of sets S ⊂ Z of integer points for which an a priori “long” Laurent series or polynomial P m∈S x m can be written as a “short” rational function f(S;x). Examples include the sets of integer points in rational polyhedra, integer semigroups, and Hilbert bases of rational cones, among others. We discuss appl...

متن کامل

An Algorithmic Theory of Lattice Points in Polyhedra

We discuss topics related to lattice points in rational polyhedra, including efficient enumeration of lattice points, “short” generating functions for lattice points in rational polyhedra, relations to classical and higher-dimensional Dedekind sums, complexity of the Presburger arithmetic, efficient computations with rational functions, and others. Although the main slant is algorithmic, struct...

متن کامل

Enumeration of Integer Points in Projections of Unbounded Polyhedra

We extend the Barvinok–Woods algorithm for enumeration of integer points in projections of polytopes to unbounded polyhedra. For this, we obtain a new structural result on projections of semilinear subsets of the integer lattice. We extend the results to general formulas in Presburger Arithmetic. We also give an application to the k-Frobenius problem.

متن کامل

Sum of Sets of Integer Points of Common-Normal Faces of Integer Polyhedra

We consider the Minkowski sum of subsets of integer lattice, each of which is a set of integer points of a face of an extended submodular [Kashiwabara–Takabatake, Discrete Appl. Math. 131 (2003) 433] integer polyhedron supported by a common positive vector. We show a sufficient condition for the sum to contain all the integer points of its convex hull and a sufficient condition for the sum to i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Combinatorica

دوره 12  شماره 

صفحات  -

تاریخ انتشار 1992